منابع مشابه
When is an abstract data type a functor?
A parametric algebraic data type is a functor when we can apply a function to its data components while satisfying certain equations. We investigate whether parametric abstract data types can be functors. We provide a general definition for their map operation that needs only satisfy one equation. The definability of this map depends on properties of interfaces and is a sufficient condition for...
متن کاملWhen every $P$-flat ideal is flat
In this paper, we study the class of rings in which every $P$-flat ideal is flat and which will be called $PFF$-rings. In particular, Von Neumann regular rings, hereditary rings, semi-hereditary ring, PID and arithmetical rings are examples of $PFF$-rings. In the context domain, this notion coincide with Pr"{u}fer domain. We provide necessary and sufficient conditions for...
متن کاملContinuity is an Adjoint Functor
1. INTRODUCTION. The emergence of category theory, introduced by S. Eilen-berg and S. Mac Lane in the 1940s (cf. [2]), was among the most important mathematical developments of the twentieth century. The profound impact of the theory continues to this day, and categorical methods are currently used, for example, in algebra, geometry, topology, mathematical physics, logic, and theoretical comput...
متن کاملThe Differentiable Chain Functor Is Not Homotopy Equivalent to the Continuous Chain Functor
Let S∗ and S ∞ ∗ be the functors of continuous and differentiable singular chains on the category of differentiable manifolds. We prove that the natural transformation i : S∞ ∗ −→ S∗, which induces homology equivalences over each manifold, is not a natural homotopy equivalence.
متن کاملThe Frobenius Properad Is Koszul
We show Koszulness of the prop governing involutive Lie bialgebras and also of the props governing non-unital and unital-counital Frobenius algebras, solving a long-standing problem. This gives us minimal models for their deformation complexes, and for deformation complexes of their algebras which are discussed in detail. Using an operad of graph complexes we prove, with the help of an earlier ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications in Algebra
سال: 2011
ISSN: 0092-7872,1532-4125
DOI: 10.1080/00927871003639311